{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Dynamic Process: With Some Expressive Voters and a CW (5.4)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:32.747904Z", "start_time": "2021-02-09T13:45:27.208449Z" } }, "outputs": [], "source": [ "from matplotlib import pyplot as plt\n", "from poisson_approval import *" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:32.763860Z", "start_time": "2021-02-09T13:45:32.756886Z" } }, "outputs": [], "source": [ "N_SAMPLES = 10000\n", "N_MAX_EPISODES = 1000\n", "DENOMINATOR = 20" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:37.786254Z", "start_time": "2021-02-09T13:45:32.771848Z" } }, "outputs": [], "source": [ "d_ratio_results = {}\n", "for numerator in range(DENOMINATOR + 1):\n", " ratio_fanatic = numerator / DENOMINATOR\n", " rand_profile = RandConditional(\n", " factory=RandProfileHistogramUniform(n_bins=1, ratio_fanatic=ratio_fanatic),\n", " test=is_condorcet,\n", " n_trials_max=None\n", " )\n", " d_ratio_results[ratio_fanatic] = monte_carlo_fictitious_play(\n", " factory=rand_profile,\n", " n_samples=N_SAMPLES,\n", " n_max_episodes=N_MAX_EPISODES,\n", " voting_rules=VOTING_RULES,\n", " init='random_tau',\n", " monte_carlo_settings=[\n", " MCS_FREQUENCY_CW_WINS\n", " ],\n", " file_save='sav/with_expressive_voters_and_CW_%s_%s.sav' % (numerator, DENOMINATOR),\n", " )" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:37.801632Z", "start_time": "2021-02-09T13:45:37.791612Z" } }, "outputs": [], "source": [ "ratios_fanatic = d_ratio_results.keys()\n", "results_av = [float(d_ratio_results[ratio_fanatic][APPROVAL]['mean_frequency_cw_wins'])\n", " for ratio_fanatic in ratios_fanatic]\n", "results_pl = [float(d_ratio_results[ratio_fanatic][PLURALITY]['mean_frequency_cw_wins'])\n", " for ratio_fanatic in ratios_fanatic]\n", "results_apl = [float(d_ratio_results[ratio_fanatic][ANTI_PLURALITY]['mean_frequency_cw_wins'])\n", " for ratio_fanatic in ratios_fanatic]" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:40.316384Z", "start_time": "2021-02-09T13:45:37.806619Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAfkAAAEGCAYAAABmcuwoAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8QVMy6AAAACXBIWXMAAAsTAAALEwEAmpwYAABgGElEQVR4nO3dd5wdZ33o/8/39La7Z6u6rZWs5i65YoyRKRdjMAQwYEJuYtNCAhdIwu+Ge0PAkHKBS00gJibBToDYlEvHwQFsGWxjLFmWrW6rWX377ul1nt8fc2b2bD+72iOtVt+3X+d1ZubMzHl2Vt7v0x8xxqCUUkqp+cdzphOglFJKqfrQIK+UUkrNUxrklVJKqXlKg7xSSik1T2mQV0oppeYp35lOwHTF43FzwQUXnOlkzGvpdJpoNHqmkzHv6XOuP33G9afP+PR46qmneo0x7dO97qwL8gsWLGDLli1nOhnz2qZNm9i4ceOZTsa8p8+5/vQZ158+49NDRF6YyXVaXa+UUkrNUxrklVJKqXlKg7xSSik1T2mQV0oppeYpDfJKKaXUPKVBXimllJqn6hbkReTrItItIjsm+FxE5B9EZJ+IPCsiG+qVFqWUUupcVM+S/L3ATZN8/mpgVeX1HuCuOqZFKaWUOufUbTIcY8yvRWT5JKe8Hvh3Yy9o/4SIxEVkkTHmxGT3PZSwuOTjPycS8BILeon4vUSDXqIB+xUJVPYrxyMBL7GAl0jAQzToIxrwuOeFfB5ExL23iIx4eTyeSfdHH1NKKaXmkjM5490S4EjV/tHKsTFBXkTeg13ap6FjGRtaSuTKJXJlyGfhZApyZciVIF+2tw1TB10PhqAXQj4IeSFc2R733Qth3/B7uOoa7yT1IU7wr36f6DX68zMllUqxadOmM/b95wp9zvWnz7j+9BnPbWcyyI8Xxcx4Jxpj7gbuBli1apV5x+UNk97YGEOhDNmSIee8lwzZkrONvV+2t7MlU3nZ2315+3imZChaU/8gAQ+E/ULEByGfEPEJYR9E/OLuR/0Q8QkRv1Te7c9jAS9hv+CpCurGGCzL/mKv14vH48Hn87kvv9/vvrxeLz6fD6/XO+HLqW2olU5TeXroc64/fcb1p894bjuTQf4osKxqfylwfKqLRAS/349lWViWhTFm3NKvzwfhgMEY+zVTJcuQKVZnBAyZEmSLVdslQ6ZkyFadN5CHbNFyMxqT/kzgZgrcjMDoTIHzub9q22dnIsJ+DwHv2NK/87MbY9xA7wR9JwNQnXlwXsVika6uLjwej3vuRO/aTKGUUnPXmQzyPwbeLyL3A9cAQ1O1x4Md5K+77jp337IsyuUypVKJcrk84XaxWKRUKo14OdeWy2W35OzxeNzvAfB6IeAzNJ1CZqFs2bUEmZIhUzSV90n2i4aeDGSKlp15KE39HR6xmw9CPqk0QQghr1SaIuz3oE/cc9xjI86xPy/m8uzasxefZ/yMg/PubDsZCCdTMDojUP1yMhKjayBGbzu/B6WUUjNXtyAvIvcBG4E2ETkKfBzwAxhjvgo8ANwM7AMywB0z+R4nqPj9/lNOs2VZbgagOoNQfaxYLLqv6uNORmG8mgWvF/w+Q8MMMwqWqWQSisOZgnTRaY4w5EuQKw83Q9j9Ewz5sqEvC7myRb4E2bLdjDE1AZJ4xG6KCHqFgBcClfegF/weOzMRqPos6IWAxzmnctzjfG6fE65kJKIBL6Fxmimc3wMwaSbB7/ePyTD4/X4CgQCBQACf76xbYFEppWZdPXvXv22Kzw3wvnp9/0x4PB43SMyUMWZM5mD0fnVGoVgsjshQWJY1NpMA+H3QEBxuq58py4zKFJRNJUMwnEEYTOfw+IIULPt4oZI5KJQNBct+TxUN/TkolC0KZciX7XOnm4VxahbszowyYtveh7B3+Pjoz8N+IVLVXFFdw+AE/mAwSDAYJBQKEQwG3WOBQAC/369NDkqpeUuLO7PM6TMw05oFp9Pd6KaF6tfo2gQnc+C8T9ZXwckwRM3E/RWSyRwNDdPP6BhjKBt7hEOxEvQL1nAGoTojUd3ZMTfi3ZDIQ7Y03J/BqiHn4PdAU1BoCgpx990zYr8pKMRDXvyV4RDOs/Z6vW4tQHVmoLpWoLo24UyPflBKqVppkJ9jnM5xXq+XYDA44/sYY9xmhNH9E5xMRPXx6lc6nSYcDrsZBifT4NQijB7yV82H3YfBScOpdHp07lGwhkdFjDdSIluyaxaG8vbrZNqwp79Mujj2fgLEAqMzA0JTQIiHhKaAh3hIaA7Zox6cn8+MyhRN1JFxvA6NE51jWRbZbHbGoyCUUmoqGuTnKRFxg8x0DQ4OcvXVV4/7mZN5qK45GK8mofrY6IxGdfNF9bkTjpQAwv7pj5Qolg2JgmEwP5wBGMxblXd7/3jK3i+Pc9uAF5oC4nZmDHqFYKWTYtA73JEx6JVxPwt6qzo0+j2EfCP7IGQyGbZs2eI+V+fnr+7AODpzMF6nxepMwniZDR0FodS5S4O8mhYn81APTgZidMfH8TpBjh4tUX3OcCkbgn5Da3jyfgzG2B0ZR2cAhvKGoYIh7/RZKBuGCpAvWe5+bR0Zh9kdGe1MgF8g7E9VMgnDGQN3f7LjlZERYZ8Q9HkIjspAOD/X6MxDdWZg9NBJZ96F8TIR1ZkLzTAodfbQIK/mjFOpfXAYYygUCmNeuVyOfD5PPp93MwgwPGSyyQcNQYul02xesCoTL+UrHRmdDogT7RfKxu30mM5bWCLky/a8CvmMPQrCuWa82oXJOKMa7FkZK0MjK8MlnU6LIaeDo7dq2yeV2R3teRjGm3dhdIahOvBXT87k9GEYbxSEDo1U6vTTIK/mFRFxe9NPxqk1GJ0ZyOfzboagUCi4tQPOvSfqyBiZpCPjRJLJIg0N4Qk/L1VGNzg1Cfmy3RExXzYURmcgyiPPdfotJAuGnpLldmycamImh0ecqZtHjnhwJmOK+oVoZXIme5vKzI5SWVNi/Fkcq/ucjJ7BcaomiNHNEdqHQampaZBX56TqWoNIJDLpuU7wHt2/YKJ+B+P1PRiv30J1Wsbrse9MxNQQnJ1OjFAZQlkeNb1z1dwK7vHy8IgHJ8OQLhp6shbpoj1nw2Q1DQLurI0jMwSVDIJvZAahugnCrnGYuAmi+ncyUR8GZyroXC7H888/P6I5YnS/hupaBs00qPlGg7xSU6hecXA2Jl1ybNq0iRtuuGHSjMPoTMR4EzWNzjxUZyJGBy53COUpTvlsKpmFdNGQLtozNqZLzrapHKdq8iZDf86yzysaSjV+bWC8Pgrj9FWoPq+6o6RVKHGycGS4FmKKpojRnR1HNztU1zhUP9vZeB+ePMseWaMZDjUbNMgrdQbNRj+E8TjV4+NN9TxeR8bJpnweXWp2+HwQCRhapzlBkzMscjhDUOnEOKoJIl81t0K+aq6F6fVhECA74ohXGDmhks9eYCrsc9aDoLLI1MjtsN9psvAQ9glejyBif8NsBmTnd+dM2hSJRIhGo4RCIUKhEOFwWDtAqpppkFdqHqpu+54N1WtEjJ6YyXkvFApjJmmaaBZHZ1jkqc7gWM3tw1AZ9ZAvGfqTGSQQJlMcnluhesXJTKU5oj9r3AmYsqXpd3q0Az14Ku8jtrH7OIjIiGMilePu5/Y18ZCH9rDQHinQFs7QERmiPSzEw3Zgd55ZIBAgFAqNyQSEQqFZ+72rs58GeaXUlE5ljQinP8N4i0RVz+BYaxPEZH0Ygv6R1e8tHmhomN6fOWPsJaarMwPZyiJSuUrGIF+ZidEYMBh7m+pj9rvlvFfOG3uscn7leNkyDOQN27othgojV6YKeqE97KEtIrSHPXRE8rSF03RE+umI+gj77VqWcrmM1+slEAgQiUSIRCKEw2FCodCY/gvOy6ml0dkc5x8N8kqpuprNJonRHSAn679QLpfZu3cvCxYsmDQTMdEETCG/IT5LHR5nIl+yOzr2Zg3dGYuerKE3Y9GdNezpK44ZKdEQEDrCQlvEqQnI0R5O0h7x0BYZns65WnW/DOe9+nlUB//xVpv0eDxu58bq9SCcKaH9fr8OmzzDNMgrpc4a080wHDp0iLVr1074efVaERONihjdLOGcMzo4jn6v5dhkGYiQ38Myv4elDWPPMcaQLFDJBFh0ZyoZgozhwGCZLSdHjn7wCER94PcKPg/4PILfY6/5MHrb5wF/ZaVJX+X4RNs+j1AulOguHKExKDQGPSMyE5ZluSMdqteHqF4bojpToM0Ms0+DvFLqnDXbfReqWZY1Yt6FXC5HJpMhm826/RfcmQhLGfyZkwRyvRiPj5IvRtEXoxxopOwNj1ndUURoDEJj0MvK+Ni0O9X+PRmLnoyhO2uRKhhKFpQsKFp2k4SznSpS+cyiaFH5zFAs29uT12WM7NwY9dvTQTdWFohqDFRelTUiGivHmoL2bI0OJ8PjjGqozgQ4mYTxpm4e76VNDsM0yCul1DQ5S0pXB/BsNks2myWXy1EoFIanWDYW/nwfgUwXoXwPzbkegrkeQnnnvRdfKT3xd4mHki9K0Rej5Lz8MUq+qJ0Z8FcfszMHJX+MgD9GW0uYda3jBDxj8JRzeMs5fOUs3nIWb6nyXs7Yx939LJ5S1atyzFd5SblIwRsmJ2HShEkTImnCDOVDDGbCDFghBsphUoTpM2GShEmbECnCFD1hJBDBGwgTCQZoDHoqmQEPjQF7REOoeg6FytDJgGfqEQ2jmxtGT+k8UbNE9bWjF+Oq5fh400E7czSciT4PEwZ5EfkQ8BjwtDGmNNF5Sil1LrAsi4GBAbq7u+nr63Orou1SeBfBXDehXA/xXDfBfC+hSjAPFvoQM3IUQdHfQC7YTi68kMH4JeRD7fYr0IKYMr5SCn8pha+YwldK46ts+0tJfMU0oVyXe87oe1erziAgnqpAnkOmKJ87yp4gZV+YsjdEyRum7A1TDjaT8y2m7A2TL1mEvGW8pSzN5SxtpSzech++UgYvWXxk7WEDEyYSyEMx7yVtwiRNmBR2JiBrgmQJkiVA1gTpJUCWIDkToOgJUvQEKXsClD0hLG8AyxPEeIMYXwi8QcQfRHz2K+D3u4tG+b12E4ZHBG9llMPwu+D1jD5Wda5n+PjoyZpmarwMw+gJnlpaWtpncu/JSvJLgS8Ba0XkWeBx7KD/W2NM/0y+TCmlzibFYpH+/n66uroYGhoinD1Jc9fjrB3cQSjXNW4p3BIv+WAb+VA7g80Xkw+2kwu1kw/agTwXbMPyTTyd8bQYY5eqKxkBfzHpZghGZg5SgLEDtPsKUfJV7fvClL2R4WBeCezI5E0ZyWSShoaGSdJo4S3n3NoCXzlTyWxk7FqEUsbOEDg1BKUM8UKGeCmLp5zHayXwlgt4rTx+k8dv5fFRVe40QLnymkTReMkSIEeQImN/JsPUAduYUTMwAlSGQdr7Hgr4KYifIgFK4qMkAUripyR+O0MifiyPvW15/Jiqd7x+8AYw3gDi9SPegP3y+YnH4wunTOA4JgzyxpgPA4hIALgSuA54B/A1ERk0xlw4ky9USqm5LJfL0dfXR1dXF6lkkob0AVq6HmdF7++IpV8AIB1ZRjayiKH4xXYAD3WQqwT2QiA+aWD0eDx4KyW36jHvzpA3n8/nDiucaM6BET3WfQ0UAzHy1owKeuNyq57HKamOXqzI+ZmqZ1l07mGf78F4YxRNlMJsjVSwynitPB4rj7ecx2MV7Pdy3j5eHv6Mcg5TykMxjynnkVIOTHnEUEcqwxsNlcBtDJZ9eHiYY2XHqTexn8FwfwXLgGDhsYr4TBGfVSBMEZ/J4rOKBEwRPwUC2NsBivil9mUsP0TbjB5VLW3yYaARaKq8jgPbZ/RtSik1xxhjyGQy9PT00N3dTT6TIj60kwXdv+XC3t8Ryvdi8DAUv4h9F7yL3rZryIcXTHg/p23X6bnvdCJzZqsLh8MEg0FCoRDBYHBas9c5fQEmWnK5ekKiyTIIozuwjV52eLzFgsY7JiJs2rSJl7zkJQAjRipMZ7no0Ws8VI86cJ7lyIfspeyJUCZCcfq/8rnDlDGlIlapQKlUwCoVMOUi5VIBUypgyvY+pQLw9Rl9xWRt8ncDFwFJ4HfY1fWfN8YMzOiblFJqjjDGkEgk6O7upqenB/JJ4n1bOb/nt7T0bcFfSlP2BBho2cChzrfT13oVpUCje73X63VLrs70s+FwmEgk4gZv5zWb48RFxF21byY/c707fXk8HgKBwCnfx6kpcOY0qJ7XYLz38WZjrM7cVL9ma7GnWSFexO/F6w+N04Aw2iwHeeA8IAg8DxwDjgKDM/oWpZQ6w8rlsttxrr+/H39+gHj3b1nT8zuaB5/BYxUp+hvobbuWvvZrGWi+HMs7vGSxM8yura2Njo4OGhoazqo55M+WdMJwc8FsZBjOhOq1I8abg2H0hE7VmZnxMjKWZZFOp2fUF26yNvmbxP5XcRF2e/xfABeLSD9257uPz+inV0qp08QYQ1dXF11dXQwODhLJnqC5+3Eu6XmCxsReBEM2tIBjS26mr+0ahhrXgccO5iL2Urd+v5/29nba29tpaGg4q4KlOjOqh9LNVkalq6vr2Eyum7RN3th1GjtEZBAYqrxeC1wNaJBXSs0ZldIOyWSSwcFBEokE6VSSE1t+SkvX46zs/R3RzBEAkrGVHOp8G31t15KOnm+vDoNd3WyMIRwOs2DBAtra2ohEImfyx1LqlEzWJv8B4MXYpfgileFz2A0D2vFOKXXGGGPI5XIkEgmGhoYYGhoim83ipUwkeYjo0B6WJ57j8r6nCRUHMOJhMH4Jx5e8mr62a8iHhnuiO+3rDQ0NLFy4kNbW1rO2mlip0SYryS8HvgN8yBhz4vQkRymlxioUCiSTSRKJBAMDA6TTaTCGcO4k0YHdLEo+T2PiOWKpA3gsu791wd9EX2w1gwuvp7/1Kkr+mHs/r9eLMYbm5mYWLFhAc3PzrCygo9RcM9m/6vuB1tEBXkReBxwzxjxV15Qppc5J5XKZVCrlBvRUKkWpVCJYShAZ2ENr4jmWJ5+jIfF8ZZIXe1a2ZMNKji15DYnG1SQbV5MPtpNMpdyJWpwhX07HuaamJl0hTc17kwX5zwC3j3N8F3A38LJ6JEgpde5wxqgnEgm3HT2fz+MzBSJDz9MwtJeFyedpSDxHONdtX4OHdOx8etqvI9m4mmTjKtKR89wOcw6nN3wwGKSjo4P29nZisZh2nFPnlMmCfKsx5tDog8aYfSLSWr8kKaXmK2MMqVSKoaEh+vr6SCaTmHKJSPowsaG9LEs8R2PiOaLpw0hlbrFsqINk42qOL3mNHdQbVmJ5QyPu60xAY1kWkUiEeDxOU1MTO3bs4Nprrz0TP6pSc8JkQX6yyZWjs50QpdT8Y1mW29u9v7+fVCqFxyoSG9pL48B2lg3upDGxF1/ZXqq06IuRbFxFX9s1lWr3VRQD8RH3FBG8lWlUg8EgjY2NxONxGhoaiEajI0rqWmpX57rJgvwvReTvgI+aqumBROQTwEN1T5lS6qxTLpfdtnSng5zfyhEb2EXL4A5WDO6kIfEcHlPCIKSj59O18EYSTetINKwiF17kDmdzOL3ffT4fsViM5uZmGhsbicVidVkHXqn5ZLIg/xfAvwD7RGRb5dhlwBbgXXVOl1LqLFAsFhkaGnJL6rlcjkApSax/BwsGd9I0tJNY8gCChREPyYYLOLb0FobiFzHUtI6Sf+TqZU6vd4BYLEY8HqexsZGGhgYd1qbUDEw2410aeJuIrMCe9Q5gpzHmwGlJmVJqzsnn8wwNDbkl9UKhQKjQT6z/WZYO7qRpcKc74UzZEyDZuIYXlr+FoaYLSTSuGbPEqlNKD4fDNDU10dTURGNjI6FQSKvalZoFUw4MrQT1GQV2EbkJe016L/AvxphPjfq8Cfgm9jz5PuCzxph7ZvJdSqn6KBaLdHV1cezYMfK5HJF8Fw39z7K8EtTDuS4ASt4wQ00X0rXwRoaaLiTZuArjGV5IpbotPRqN0tLS4pbUtdpdqfqo2+wPIuIFvgK8Entxm80i8mNjzK6q094H7DLG3CIi7cBeEfmWMaZQr3QppaZmjGFgYIBjx44x2NdNa99mOrt+Q9PgToIFeyHKgr+RofhFHFv6WobiF5OKLR+xjrrH48FTWSa0oaHBDeqxWEzHpyt1mtRziqergX1O9b6I3A+8HnucvcMADZWFcGJAP1CqY5qUUpPI5XKcOHGC48ePE04eov3Yg6w5uYlAcYh8oJnB5ksZarqIofhFZCJLR3SScwK3iNDY2EhraytNTU1jerwrpU6fmoK8iFwPrDLG3FMpcceMMQenuGwJcKRq/yhwzahzvgz8GDgONABvNcZY43z/e4D3ALS3t7Np06Zakq1mKJVK6TM+DebScy6VShQKBTzFFIv7n+DC3k00p/djiZeupg0cadtId9OlIJUSuAWk7Nnmqlfc8nq9eDwe+vv76e+f0cqYs2ouPeP5Sp/x3DZlkBeRjwNXAmuAewA/djv6i6e6dJxjZtT+q4Bt2LPnrQR+ISK/McYkRlxkzN3Ys+yxZs0as3HjxqmSrU7Bpk2b0Gdcf2f6OadSKY4dO0Z3Vxctuf10HH2Q9u5H8Vp50pFl7F/5DroW3kgx0ARAU2WFtkAgQDwep7m5maamJkKh0BTfdOac6Wd8LtBnPLfVUpJ/A7Ae2ApgjDkuIg2TXwLYJfdlVftLsUvs1e4APlUZh79PRA4Ca4Ena7i/UmqaisUi3d3dHDt2DCtxko7jv+SKE78kkj1GyRuma8FLObnoFSQb14xYfjUUCrFkyRLa2tp0KJtSZ5FagnzBGGNExACISK2z3W0GVolIJ3AMuA34/VHnHAZeDvxGRBZg1xboED2lZpExhsHBQY4dO0Z/bw+t/U+x4viDtPZtQYzFUNOF7Dn/Vno6XuxOF+v0du/o6GDJkiVEo2d2kktjDJZlUS6XR7xKpRKWZVEqlUYcc17ZbJbt27cjInZHwMr0t6O3q99Hb0+2D0zrvZZzqu+t1KmqJch/R0T+GYiLyLuBdwBfm+oiY0xJRN4PPIg9hO7rxpidIvLeyudfBf4GuFdEtmNX7/+lMaZ3hj+LUqpKLpfj5MmTHD9+nGDyMO3HHmTVyYcJFgYoBOIcWfZ7nFz0CrKRpUAlCAENDQ0sXbqU1tbWWe8Fb1kWhULBfeXzefflBGYnWDtB3bIsjDHjBkljDEVTJGflyJVzZK0seStvv0yeVDbF3iN78YoXL177faJtvPg8Pnwen3vM2T6VoFs1YWjNnwUCASKRCI2NjUSjUSKRCOFwWEclqGmrZZz8Z0XklUACu6T9MWPML2q5uTHmAeCBUce+WrV9HPhv00qxUmpCpVKJ/v5+jh07Rnqwh/buR7no+C9oGtqFEQ99rVfy/KJX0t9yBcZj/+/vdJZbvHgxCxcunFEbuzGGYrFIPp8fEbxzuRy5XI5CoUCxWKRcLrsl1ZyVY7A4yEBxgJzJkbNybnB23nNWbsR+dQB3PjNjuvqMkprJkxzJg2dEhsCDB494kMp/I7aplPqr/qv+XKRyznjXiocWXwsL/QtZ5F/Eop5FxANxd/EdDf5qumrqXV8J6jUFdqXU6ZXL5ejt7aW7u5tUMklT6nkWHn2Q9u7f4CtnyYSXcGDFH9G18EYKwRagMtzNGFpaWliyZAnxeHzS0qqz0Ewmkxk3eJdKJTd4F6wCQ6UhBooDDJWHGCoN2e/Oq7KfM7lJf66ABAh5QgQlSNATJChBGrwNtPna3P2gJ0jIExr33KAnSC6TIxQJUTZl+8XId8tYlCiN+Xy845axKFOmZEpYxsJU/rOwaxpGb7ufV507et8yFmVTdvdLVomD+YNkraz7HCKeCIv8i+zAH1hkb/cspDnQPCb4O4v0RKNRDf4KqK13/RuBTwMd2FXqAhhjTGOd06aUGocxhkQiQW9vLz09PZTyGZoGd9LR8yTr+p4knD1J2ROkp+N6Tix6JYmmdSM60QWDQZYsWUJHRwd+v3/C70ilUgwMDAwvCSuGwdIgg8VBhkpDDJYHxwTuofIQGSsz5n4+fDT5mmjyNrE4sJh13nXufpO3iYgn4gbnkCeEX/x45NQDVDKfpCFQSz/hucMYQ6Kc4ETxBCeLJzlRsN+fzjzNY6nH3PMinohb4l8YWOhmBFoCLYgI5XKZQCBANBp1g384HCYcDuPz1XOKFDWX1PKb/gxwizFmd70To5QaX6lUYmBggO7ubgYGBvAVEjT1PMmKvs209G3FV85gefwMxC/j8Hm30tNxPWVfBBhe9MXpRBeLxcbc3xhDNptlYGCA3t5eEokERVPk+czz7M3u5bnccxwuHB5TNe7BQ6O3kSZvE+3+di4IXeAG7rgvPiKI19KuXd25bbw0Oq/qznNOc4PP58Pr9eLz+dzXvn37WL58OZZluW37znb1/njvtbyq0zbe9kQ/42THRIQWXwtNvibWhteOuG+ynORE8YT9qgr+mdRwxirsCQ+X/P2LWDhkvzvB37Isd8REJBIZUe0fDod1iuF5ppYg36UBXqnTb3Q1fDR7jObuJ1jat5nGoT0IFvlAMz0d19PXdhUDzZe5veNFBI8I0WiUpUuX0tbWNqbqNpfLMTg4SG9vL4ODgxStIofyh9ib2cve7F4O5g9SpowHD53BTl7Z9Epafa1u4G7yNRHzxKYscTsBGYZ7yXs8Hvx+P4FAgGAwSDAYxO/3j5hUZ7JXrR3hDh8+zPnnnz+Dpz97nKA/3vt4x0qlEplMhnQ6TSKRIJPJUCgU8Hq9NPuaafQ1sia8ZsT9k1bSDfoniic4WTjJM5lneNx63D0vJCHa/G10+Dpo97fT7m93t5v8TeNmAGKxmBv8NQNwdpowyFeq6QG2iMi3gR8CeedzY8z365s0pc4tE1fD/451vZsJ504CkIyt4IXlb6G/9SqSDSvdWeicwO71elm0aBGLFi0a0YmuUCgwODhIX18fAwMDFEtFjhaOsiezh+dyz7Evt4+CKSAISwNLubHxRlaHVrMytJKgJzhumqv/6FuWPVml3+/H7/cTCoXcVyAQcAN6IBA4p4LF6BEBUwkGg0SjUdrb291jlmWRzWYnDv400+gdG/xTVooTBbvk31XsoqfYw+HCYbZltmExPLloWMJjAn+H335v9Nsts+VyGZ/PNyYDUD36Qc09k5Xkb6nazjCyF7wBNMgrdYrGVsMPEe95kpW9T9Lc/zS+cpayJ8Bg86UcOe8N9LVeRSHU5l7vqcxCFw6H6ejooK2tjUjErhovlUr09va6U8zm83m6y93sTu/mudxzPJ973m0/X+hfyLWxa1kTWsMFoQuIeofHxTslcWMMoVCIYDDoBm8naDvv2tZbHx6Px+1QN1nwTyaTpNNpN/jHidPgbWB1ePWI+5VMib5SHz3FHnqKPXSXuukp9nAof4it6a0jmmUingjtvuGg72x3+DuI+WNkMhl+85vfEIlE3FkQGxsbddKkOWKy9eTvABCRFxtjHqv+TESmmtJWKTVKuVwmk8m4f5AzmQyPP/YYsexR4m41/N6qaviXjKmGh+E29qamJjo6OmhtbcXv91MqlUgkEpw8eZK+vj5yuRwD5QE3qO/N7SVRtmeMbvG2cFnkMlaHVrM6tJomX9OItDrrvMdiMdra2mhubiYWi2lpbY6ZLPjncjnS6fSY4C8iBCXIIu8iFvgXjLln0RTpK/a5gb+nZGcE9uX2sSW9ZUQGIOaJ0eZpY0VxBZ2pTjqHOmkNtmJZFj6fj8bGRpqbm90hf9rb//SrJdv9j8CGGo4pdc5zxos7wTyVSpFKpchms/YYcYFgrpdQ4gDrup5kYWKbux67Uw3f13oVqQmq4dva2mhvb6epqYlyuczQ0BAHDx5kYGCAfD5P0kqyJ21Xvz+Xe47ekj23VIPHLs2tCa1hdWg1rb7WEQHbCeqRSITW1lb3D7P+UT47eTweIpEIkUhkRPA3xlAoFMhkMiMyAdls1s0AhCTEYu9iFloLx9y3YBXoK/XRXeymp9RDd7Gbo7mj/Drxax7iIQDi3jidwU46g50sTy7nvL7zCHqD7r+veDzulvaDwfGbgdTsmaxN/kXAdUC7iPx51UeN2DPYKXXOMsaQy+XcYO6UlHK5HMYYvJQJpY8SSh2hOXOEJemjRDJHiWSO4bXsri1l8TPYchlHznsTfW1XUQi2uvd3gm44HGbBggW0trbi9XpJJBJ0dXWxd+9eCoUCA+UBnsvY7en7cvvoLnUDdhvrqtAqNjZuZE1oDQv9C8cN6qFQiJaWFlpaWmhqajqn2srPRSLidnQczRhDPp8nm82SzWZHZACKxSIiQtgbZrF3MYsCi9zrkskk4ViYo4WjHMwf5FD+EAdzB3k68zRgD59cGlhKZ6iTzlQny4eW0xZos/8/8XpHlPZjsZhmLGfZZCX5APYa7z7sZWAdCeDWeiZKqbnCsqwRVezOhDBOqcdXzhBKvkA4fZQFmSNEKsE8nDuJVK2anAt1kIks4UT8YjKRpWSiSznOQqLx4fZ1pxo+Ho/T3t5ONBolnU7T39/P0aNHKRaL9JR7RgT1gfIAYA+bWhlcyXUN17EqtIplgWUjer07QT0QCIwI6hONk1fnHhFx+1o0NzeP+MzJAGQymREZgFzOntAo6AuywruC5cHl7jVDpSE74OcPcjB/kEeTj/Jw4mEAmrxNLA8ut0v8qU7O7z/fLe2Hw2Hi8bhb4te2/VMzWZv8I8AjInKvMeaF05gmpc4YYwyZTIb+/n56e3tJJpN4RAjk+wgmXyCSOUpr5iiR9BEimWMEC8NrplviIxtZTDq2nJ6O68lEl9kBPbJkRJu6e34y6Y7zbm1tpbGxkXK5zMDAAPv376dULnG8cJznss+xP7effbl9JK0kYFe/XxC6gFeEXsEFoQtY5F80Iqg7pSGPx0NzczOtra3E43GtHlUzUp0BGG3Tpk1cdtllJBIJBgYGSCQSlEolWoL2WP/LopcBUDZljhaOjgj8z2SeAcCLl6WBpcOBf6iT9pPtGGOIRqMsWrRIV0CcoVrmrtcAr+a1QqHgTgIzMDCAlHI0Du6irW8rKwd3EskcwVcenma05IuSiSxloGV9pVRuB/NsaAF4xlZ3iwjeSu90YwzBYJBIJEIul2Px4sUkk0m6u7s50XWCw/nDPJe1S+oHcgfIGvt7W32trAuv44LQBawMraTD1zGm+t0Yg8fjobGxkba2NuLxOOFwuP4PUJ3zGhoaaGhoYMmSJYD9/1QikXADfzqdJuAN0Ont5Pzg+byUlwKQKCeGg37uIL9N/ZZHko8A0Oht5OLwxazPrGdtei379u0jFouxcOFC2tvbtRaqRjreRZ1zLMtiaGiIvr4++vr6yOdyxDKHaep9igv7t9E0tBOvVcASH4mmtZxc+HKy0aVkIktJR5ZRDMTdaWKrOXO3V08o4kwl6gxpc6r9BwYGyBQybNq/ieezz7Mvt4+D+YMUTAGABf4FbIhucIN6i69lxHc51e8+n494PO5Wv4dCIe0Br864QCBAW1sbbW12c5Qxxh3f75T2i8UizQF7fP+lkUsBu7R/vHCcg/mD7Mvt46n0UzyeepyYJ8ZlkcvYkNnAmtQaN+A7JXwN+BObNMiLiBf4gDHmC6cpPUrNuvGq4IPFQRp7t3J+/zaaB7YRLNht2+nIMk4svomBlvUMxi8at5rd6ZxWLpfx+/2Ew2EaGhrcYO604zsT2wBkrSxH80c5lj/GscIxjhWPcSR/hDJlBGFJYAnXxa5jZWglK0MrafQ2jvlOp029ubnZHY+s1e/qbCAixGIxYrEYixcvBqBYLJJIJBgaGmJwcJB0Oo1XvJzvPZ9lwWXc0HgDBavA7uxutma2sjm9mcdSj9HgaeDy6OVsyG5gVWoVzz//PA0NDSxatMgdTqqGTRrkjTFlEXk9oEFenVUmq4JfNbCNWOqgfZ6/kYHmyxloWc9Ay+Ujerg71eyWZblV7E4w9/l87rj3oaEhuru7KZVKGDF0Fbo4kjvC8eJxjheOc6xwzO0gB/bkIov9i3lx6MVc2HghK4IriHgjI9Jf3fu9OqjrHzA1X/j9flpbW2lttf+fczLjTml/aGgIT8nD5bHLuSx6GQWrwM7sTramt/JE6gl+k/wNjd5G1kfWsyG7gUQygSA0Nja6AV8nZ6qtuv4xEfky8G0g7Rw0xmytW6qUmqZxq+CzR2jq2TKmCn6oaR0HVvwhAy3rScU63fHoMBxcnclFGhsbR/zx6e7uJpfLISIky0kO5w67gfx48TgnCycpUQLsxVsW+BewMrSSxf7FLAksYXFgMXGvvaxrMpmkIdIw4nsjkQgtLS3E43EaGxv1j5Q6Z0hlrQWnox3Y6yt0d3dz8uRJPHkPVzRcwfroevJW3g34j6ce55HkIzR5m0YEfAw0NTWxcOHCczrg1/JTX1d5/2TVMQO8bPaTo+Yby7IolUrumuPlctldAax6u/qY85ronIlWCwuVEjT2PjWtKvjqavDW1lZaWlrweDwMDg7S1dXFoUOHKGO3Ex7NHeVY8Zgb1FNWyr1Po7eRJf4lrG1cy+LAYhYHFrPAvwC/jC15V49Fb2hoGBHUdYywUsNCoRDnnXce5513Htlslp6eHk6cOIGn4OGK2BVsiG4gZ+XYkdnB1sxWHk0+yqbkJpq9zayPrmdDbgMrEivcGSKdEv65NB9ELb3rbzwdCVFzlxOoq4N19X6hUKBYLI74zAnUTo/vEZ3BTBmPVURKOfu9nMdTzuOxinisQtWriG+C46P3I5lj41fBN182Yq53pwoeIB6P09raSjgcJp1O09PTw8mTJ8lYGXand7M3t5d9uX10FbvcqTz94mexfzGXRC5hcWAxS/x26TzmHbt8a3VHPJ/PRyQScSf8iMViPPnkk2zYoBNHKlWLcDg8IuB3dXXR1dWFp+DhqoaruDJ2JVkry/bMdramt/JI4hEeSjxEi7eFDdENrM+tJ5FIuAE/Ho8Ti8WIRqMEg8F522F1yiAvIk3Ax4EbKoceAT5pjBmqZ8LU6eHMcV09y1Umk+GJJ56YOFCbMr5SBk9+CF8xha+UwldMESnZ2/5iCl8p7R73OcdLaTzlHB5TPrU0e/xYngCWx0/ZE8DyBCgEWmqugo/FYhQKBfr7+zlw4AD5cp6DuYPsyuxib3avu256SEKsDK1kfWS9Wzpv97WPu7SqM4TNWSymoaHBna87Go2es1WFStVDOBxm+fLlLF++nEwmM1ylX/RwTcM1XB27mkw5w7PZZ3k6/TQPJR7il4lf0uZrY310Pesy61jSt4TGQKO7zG8oFKKxsZGGhoZ59f9tLT/B14EdwFsq+/8duAd444RX1JExhscffxyv14vP53PfneUtfT7fiOPjvZ9rVaLOSlWjp6vM5/MUi0V7je5ShmD6KKHMCToHDxM7kZ8wUPtK6Um/r+wJUPLFKPmilPwxCsFW0tHzKfljlL2hqiAdcIO15QkOH/dWHx99nn9EAB/P6Cp4Z/augYEBTpw4QS6X42TpJDvTO93SesEU8OBheXA5NzXdxNrwWpYHl+OVkdV61aVzv99PNBodUTqfzyUCpeaiSCTiBvx0Oj0c8EseXuR7EdfGriVdTvNs5lm2prfyq6Ff8YuhXwD2PPuLA4uH+8wMLmZRcBF+j3/CGjhnFM3ZopYgv9IY86aq/U+IyLY6pWdKwXwvi5/7N8reMCVfhLI3QskXIeOLUPJGKPsiWIEYli8MVX+gq9tunaUzndnGnIyB84urPrd6f7ztid6rt53vq/6u0ZmSyTImtWRKyuXymBK5M+1kqVSqBPI0wdQxQpnjtGSPE86esF+Z4wSKIytmLI+foi9mB+tRgbrki7rHS76YfV7VtvHO7qxUIuL+brwT/M/lPGenCj4QCJBKpejt7eXEiRMkrIQd1LN72ZPd484ct8C/gBfFXsSa8BpWhVYR9gxPHuM8dxEhHA6PyOVHIpFzql1PqbNBNBqls7PTLeG7VfolD9c1XseLGl5EupzmcOGw3Vm2cJzjRXtWyeoOswv9C+3muMASFvsXs7hvMa2BVjeDHwwGicViNDU1uaX+uTobXy1BPisi1xtjHgV3mdnsFNfUTaCUZPmh+2s6t+QNVzIDUcq+sJsJqM4cuJ9XOmOJsRAsMAYxZcBUjhkwFmLKiDGAhbjnONtW5fxy1bbB8vgpjfjeKDlfmJQvStkbxgo0UPJGEO/wr8PJJFiWNWGmxOv1ks/nRwbyYopg+hihzDFasicIZ064wXx0IM8HW8mGF9HXdg3Z8CL7FVlETylGJN7OdDnB2FMViKszTE76ndKw8zNVH/d6ve6r+vhUL2flt76+Pvbt20fe5Nmb2cuezB725PZwsngSsKeDXRNew9rQWtaE19Dsax6Rfmfd9MbGRtrb291Z486mnLtS5zqnp/6KFSvo7OwknU67Ab/B08A67zrWhde555dNme5itztK5ljhGPtz+9mS3uKe4wx9dYL/kqElLOpZRMQXcSfAikQiNDc309LSQmNj45z4u1FLkH8v8O+VtnmAAeCP6pekySUiy3lk4914yzm8pQy+cgZfKYO3lMFb2fa529nKexpvKYuvnCGY78NXzlSunf28ihEPBg9GPCAeDGJ3DquhHbrsCdoZgapaidKI7WhVpiWCWCVas8NBPJw9jr+YHHHPXLCNbHgRvW3XkAsvIhNZTK4S0C3v+BOplJPJEaXU8QL16BqJQCAwpmZidPPJbP6Dd4bMdXd309PTQ76Y51D+kB3Us3s4mD+IhYVf/FwQvMAtrS/2Lx534ZZIJEJbWxstLS00NDTMif85lVKnrnoinhUrVrg1fIlEgnQ6TalUIuANsMS7ZMTqegCZcsYN+k6p/3ep35E3efecNl+bW+JfGljK6qHVxI7F3MJCW1sbzc3NZ6ywMNlSsx80xnwJiBljLhORRgBjTOK0pW4CXp8ffH5KgRgFy5r6gokYqyqzkMUgIOIGaqQSrKkcEw9UArh9rmfEueNNdWp/j8FjFdxMiXdERsQ5lrYzJaU0vnK2kjHJECkMVJ2ftWsUqm+NkK8E8p7268iGF1dK5IvJhRZMGMg9Hg9eEXcomjNzWzQapVAosGbNmjHBerYD9XQ5neV6enoYHBwkUU6wPbWdHdkd7M3uJWdyCMKywDJe0fQK1obW0hnsxO8ZHsY23pC5eDyuVe9KnQNExJ1n31Eul93mzUQiQTKZJJu1C4AN3gZW+VZxQegC93zLWPSX+kcG/8Jxns08i8EgCOcHzmdteC1rM2tZMbQCn9jNri0tLW4/odM1sdVkJfk7gC8B/whsmAvBHezgtG7dOsrlsjtUa/TwreohXM44a6fNtrp9F7wTZhaqg9lkgc1Tc9DzUfaHKZkWtyp+2kZkSjIAZEMLJ2wDHx3IA4GAO5+6M6d6OBwmGAyOaPc/fvw47e3Tr66fbc581729vfT09JDOpDlaPMr29HZ2ZHZwuHAYsDvPbIhuYF14HatDq4l6o+49qn/nzc3N7sItOh2sUgpw17R3ZsoD+29PoVAglUq5wT+VSlEoFPB7/SzwLaDN3+bOuQ9QsAocLhxmb3Yvu3O7eXDoQX4+9HMCEmBVaJUb9Jf0LnEXqnJqD5uamurWIXyyIL9bRA4B7SLybNVxsZ+BuXT8y+rPmQZxOpyJVZwMwHjvTvCtzgjMZHv0MWDMd02WMZlOpqR6hbPJAvnZsnCJs9RqT08P/f39ZEoZdmd2syOzg53ZnSTK9tSVncFObonfwsWRi1nsXzxmRTbLskZUlUUikbPi51dKnXkiQjAYJBgMjog3zroU6XSaZDJJIpEgk8lgWRZhf5hVXrvU/xpeQ6ac4fnc8+zJ2U2IO7M7AbtQsia0hrXhtaxJr6H5RDOWZRGLxdygH41GZ+3v1WTryb9NRBYCDwKvm5VvO4OcDlpny9zfxhg3QzBZxiQYDI4okZ+NgSyXy9HX10d3dzfJZJK+ch/PpJ5hZ2Ynz+eep0yZsIRZF17HxZGLuTB84YjJZ5ygHg6H3Sp4nT1OKTXbPB6P276/YMEC93ixWCSdTpNKpejr6yORSNDgbeBynz3vPkBfsc8N+Nuz2/ld+ncALPEvsTsDZ9ayKrGK0GG7E3g8HncLKadS8zjVAjUngctmfHc1YyLitonPN8YYhoaG6O3tpbe3l1whx77cPrant7Mzs5OuUhcAC/0L2di4kYsjF7MiuGLEmHVn8pnm5mY6OjpOaxuXUkpV8/v9xONx4vE4S5cuxRhDIpGgv7+fvr4+MpkMHaEOWv2tvLjhxVjG4kjhCHuye9ib28uvE7/mocRD+PCxMrTSrdo/b+A8MPbSvU1NTc1Tp2Ss+RdB1JxULpfp7++nq6uLgYEBUlbK7jSX2cHu7G5yJocPHxeELuAljS/h4vDFtPmHp6N1SuV+v5/29nba2trmzBAVpZSqJiI0NTXR1NREZ2cnpVKJwcFBN+gXi0U6w52cHzyfV/Eq8lae/bn9bkn/RwM/4kf8iJgnxurQataG1xKNRuMzSYsGeVU3lmXR39/PyZMn6e+3e6M+k3qGHdkdvJB/AYOh0dvIhugGLgpfxNrwWoKe4Wqp6rb1jo4OWlpaCIXGru+ulFJzmc/no62tjbY2u+CSy+XcpbCHhoYIe8JcFL2ICyMXApAoJdyAvye3h62ZmS/6Wsvc9RcbY3bM+BvUOcWyLAYGBtzAfqJ4gs2JzWxNb6W71A3A+YHzuTl+MxeHL2ZJYIk7bt2dTMfjobW11Z2MRoe3KaXmk1AoxKJFi1i0aBHGGFKplBv0U6kUzcFmrvZdzdWxqzHGcKJ4gg/z4Rl9Vy0l+a+KSAC4F/gPY8zgjL5JzVvGGAYGBujq6qK3t5fuYjebk3ZgP1E8gSCsCq3iZU0v49LwpTT6Gt1rqzvNdXR00NraOqs9S5VSai6rHrt/3nnnUS6XGRoacqv28/k8S4JLZnz/WpaavV5EVgHvALaIyJPAPcaYX9SQ+Juwx9p7gX8xxnxqnHM2Al8E/ECvMeal0/kB1JnhdJ47efKkPY692MOWxBa2ZrZytHAUgJXBlby55c2sj6wfE9iNMcTjcbcaXjvNKaWU/fexpaWFlpYWLrjgAgqFAoODgwwMDHTN5H41tckbY54XkY8CW4B/ANaLXdT638aY7493jYh4ga8ArwSOAptF5MfGmF1V58SBfwJuMsYcFpGOmfwQ6vRweox2dXXR3d1Nf7HfLbE7E9MsDy7nTc1vYn10PXFf3L3WmQ63o6PD7TSnQ9yUUmpygUCAjo4OstlsZibX19Imfyn27HevAX4B3GKM2Soii4HfAuMGeeBqYJ8x5kDlPvcDrwd2VZ3z+8D3jTGHAYwx3TP5IVT9GGNIJpNuYB8oDrAluYWt6a0czB8EYFlgGb/X/HtsiG6gxdfiXutMg9ve3s7ChQt1TnillDrNainJfxn4Gnap3V3RxRhzvFK6n8gS4EjV/lHgmlHnrAb8IrIJaAC+ZIz591oSruormUzS3d1NV1cXg4VBnko+xdb0Vvbn92MwLPEv4Zb4LWyIbqDdPzwFrtNJzgnsOsxNKaXOnEmDfKXK/Ygx5hvjfT7Rcefy8S4Z5/uvAF4OhIHfisgTxpjnRqXjPcB7wA4emzZtmizZagaqZ9jL5/M88PAD7Czs5NnCsxwoHsBg6PB28LLwy7g0eCkd3krLSg6SOXvlO2cxG6/Xy4kTJzhx4sQZ/InmvlQqpf+W60yfcf3pM57bpprxriwirSISMMYUpnnvo8Cyqv2lwPFxzuk1xqSBtIj8GnuGvRFB3hhzN3A3wJo1a8zGjRunmRQ1mmVZY2Zk6jN97Czu5Jn0M+wv7sfCot3XzquaXsWG6AYW+Re5pXKn81xraysLFy6kublZS+zTtGnTJvTfcn3pM64/fcZzWy3V9S8Aj4nIj4G0c9AY8/kprtsMrBKRTuAYcBt2G3y1HwFfFhEfEMCuzv9CjWlX02CMIZvNumMxE4kEaSvN7vRudmd3sye7h4HyAACtnlZe3vhyNkQ3sDSwdExgb2lpcQO7dp5TSqm5q5Ygf7zy8mC3m9fEGFMSkfdjL3DjBb5ujNkpIu+tfP5VY8xuEfk58CxgYQ+z04l3ZkmxWGRwcJDe3l76+/splAscyB1gV2YXe7J7OFI4gsEQljCrw6t5VfhVrA2tJZgLuustV88Rv3DhQlpaWjSwK6XUWaKWcfKfABCRBnvXpGq9uTHmAeCBUce+Omr//wL/t9Z7qolVV8H39vaSzWbpKfewM72TPdk9PJd7joIp4MHD8uBybo7fzJrQGs4Pnj9i8ZdkLomIEI/HWbRoES0tLTrrnFJKnYVqmtYW+AbQUtnvBf7QGLOzzmlTUxhdBT80NETGZMatgm/ztXFN7BrWhtayOryasCfs3scpmft8PlpaWigWi7z4xS/WwK6UUme5Wqrr7wb+3BjzMLgz1H0NuK5+yVLjceY4dkrriUSi5ir46hXdnPnhjTE0NTXR3t5Oc3Ozu/jLiRMnNMArpdQ8UEuQjzoBHsAYs0lEonVMk6ooFoskEgmGhoYYGBggnU5TljKHc4fZn93P87nna66Cd+aIj0QitLW10dLSopPTKKXUPFdLkD8gIn+NXWUP8AfAwfol6dzkVL0nEgkGBgYYGhqiUCiQslLsy+zjYP4gB/IHOJw/TIkSML0q+NbWVuLxOD6fri6slFLnilr+4r8D+ATD09f+Gri9Xgk6V5TLZZLJpFv1nkqlKFtlThRPsD+7nwO5AxzIH6C31AuADx/Lgsu4ofEGVgRX0BnspMnX5N5vqip4pZRS555agvwrjDEfqD4gIm8GvlufJM1P+XyeRCLhrCZELpejQIED2QMcyB1gf24/h/KHyJkcAA2eBjpDnVzfcD0rgitYFliG3zNypTatgldKKTWZWoL8/2JsQB/vmAJKpRKZTIZMJkM6nSaZTNpt6eUy/eV+9mX2cSBvB/bjxeMYDIKwyL+IK6JXsDK0ks5gJ22+thHB2uPxICJYlkU0GqW5uZmmpiaampq0Cl4ppdS4JowOIvJq4GZgiYj8Q9VHjVBpFD6HFQoFN5inUilSqRTZbJZyuQwCvcVejuePc7J4khfyL3Agf4BEOQFAUIIsDy7npshNrAitYHlw+Yj2dBiehMbj8dDY2OgG9Wg0qpPRKKWUqslkRcDj2OvHvw54qup4EvizeiZqrjDGkM/n3WDulMqz2SzGGCyx6Cp0cSJ/gpPFk/arcJLuUjdFU3Tv0+prZU1ojd2WHupksX8xHhkO1E57umVZhEIh4vE48XicxsZGbVNXSik1YxMGeWPMM8AzIvIDIG2MKYO7Ml3wNKXvtHCCeSqVIp1Ou++5XA4RoWAKnMif4ERhOJh3FbroKfVgYbn3afW1stC/kDXhNSz0L3RfEW9kxPdVl8RjsRgtLS00NTXR0NCg49OVUkrNmloac/8LeAXgTGcbrhw7ayfDsSzL7dk+MDBAMpnEsiwyVoZjuWN0FbtGlMz7y/3utR48tPvbWRhYyOXRy91AvsC/gIAnMOa7qkvpfr+fpqYmmpubaWxsJBKJaCc5pZRSdVNLkA9Vz1dvjEmJSGSyC+aa6p7tg4ODZLNZSpQ4mD1ojz/PHeCFwgtumzmAX/ws8C9gRWgF1/mvY4F/AYv8i2jzt+GTsY+tegibMYZQKEQ0GqWhoYFoNEpjYyN+v3/MdUoppVS91BLk0yKywRizFUBErgCy9U3WzFmW5U79OjAwQCKRoFQqMWgNupPKHMwf5GjhqFvV3uHrYG1oLYsDi92SeYuvZUS7uaO6l7vH4yEUChGLxYjFYkQiEaLRKIFAQEvoSimlzrhagvyHgO+KyPHK/iLgrXVL0TQVCoURpfRMJkOZMi/kX2B/dr8b1J1SekACLA8u5xVNr6Az2ElnsJOYNzbmvk7buGVZeL1ewuHwmGCuJXOllFJzWS1LzW4WkbXAGkCAPcZUdR0/A44dOzailD5kDQ2X0nMHOVI4QpkyYE/9uia0xg3oiwOLR8zpDsOTyvj9fsLhsFvFHolEiEQiOg5dKaXUWWmycfIvM8Y8JCJvHPXRKhHBGPP9cS+ss7JV5pc7f8nB3EF3PvfB8iBgt6OfFziPGxtvdMefN3obR1zvVLcbY0ZMKtPY2KjBXCml1LwyWVR7KfAQcMs4nxmG57I/rY6XjvPZE58FoMXb4s4Q1xnsZGlg6aSldO3ZrpRS6lwy2Tj5j1c23+WMkZ8LYp4Y72x/J53BTuK++IjPJpr6VXu2K6WUOhfVUj99UER+DnwbeMgYY+qcpkk1eZpYH10PDJfSfT7fiFJ6NBrVUrpSSqlzXi1Bfg12lf37gH8VkZ8C9xtjHq1ryiYgImNK6YHA2ElolFJKqXNdLb3rs8B3gO+ISDPwJeAR4IzMvyoiXHnllWfiq5VSSqmzSk3LmYnIS0Xkn4CtQAh4S11TpZRSSqlTNmVJXkQOAtuwS/P/nzEmXe9EKaWUUurU1dImf5kxJjH1aUoppZSaS6asrtcAr5RSSp2damqTV0oppdTZZ8IgLyIfrLy/+PQlRymllFKzZbKS/B2V9388HQlRSiml1OyarOPdbhE5BLSLyLNVxwUwxphL65oypZRSSp2Syeauf5uILAQeBF53+pKklFJKqdkw6RA6Y8xJ4DIRCQCrK4f3nun15JVSSik1tVomw3kp8O/AIeyq+mUi8kfGmF/XOW1KKaWUOgW1TIbzeeC/GWP2AojIauA+4Ip6JkwppZRSp6aWcfJ+J8ADGGOeA2panF1EbhKRvSKyT0Q+Msl5V4lIWURureW+SimllJpaLSX5LSLyr8A3KvtvB56a6iIR8QJfAV4JHAU2i8iPjTG7xjnv09gd/JRSSik1S2opyf8JsBP4APBBYBfw3hquuxrYZ4w5YIwpAPcDrx/nvP8B/D+gu6YUK6WUUqomtawnn8dul//8NO+9BDhStX8UuKb6BBFZArwBeBlw1UQ3EpH3AO8BaG9vZ9OmTdNMipqOVCqlz/g00Odcf/qM60+f8dxWS3X9TMk4x8yo/S8Cf2mMKYuMd3rlImPuBu4GWLNmjdm4ceMsJVGNZ9OmTegzrj99zvWnz7j+9BnPbfUM8keBZVX7S4Hjo865Eri/EuDbgJtFpGSM+WEd06WUUkqdE2oZJ3+xMWbHDO69GVglIp3AMeA24PerTzDGdFZ9z73ATzXAK6WUUrOjlo53XxWRJ0XkT0UkXuuNjTEl4P3YveZ3A98xxuwUkfeKSC0d95RSSil1CmrpeHe9iKwC3oE9nO5J4B5jzC9quPYB4IFRx746wbm315RipZRSStWklpI8xpjngY8Cfwm8FPgHEdkjIm+sZ+KUUkopNXNTBnkRuVREvoBd5f4y4BZjzLrK9hfqnD6llFJKzVAtveu/DHwN+N/GmKxz0BhzXEQ+WreUKaWUUuqU1BLkbwayxpgygIh4gJAxJmOM+cbklyqllFLqTKmlTf6XQLhqP1I5ppRSSqk5rJYgHzLGpJydynakfklSSiml1GyoJcinRWSDsyMiVwDZSc5XSiml1BxQS5v8h4DviogzJe0i4K11S5FSSimlZkUtk+FsFpG1wBrsRWf2GGOKdU+ZUkoppU5JrQvUXAUsr5y/XkQwxvx73VKllFJKqVNWywI13wBWAtuAcuWwATTIK6WUUnNYLSX5K4ELjTGj14JXSiml1BxWS+/6HcDCeidEKaWUUrOrlpJ8G7Crsvpc3jlojHld3VKllFJKqVNWS5C/s96JUEoppdTsq2UI3SMicj6wyhjzSxGJAN76J00ppZRSp6KWpWbfDXwP+OfKoSXAD+uYJqWUUkrNglo63r0PeDGQADDGPA901DNRSimllDp1tQT5vDGm4OyIiA97nLxSSiml5rBagvwjIvK/gbCIvBL4LvCT+iZLKaWUUqeqliD/EaAH2A78MfAA8NF6JkoppZRSp66W3vUW8LXKSymllFJniVrmrj/IOG3wxpgVdUmRUkoppWZFrXPXO0LAm4GW+iRHKaWUUrOllur6vlGHvigijwIfq0+Spq9YLHL06FFyudyZTsq80NTUxO7du2d8fSgUYunSpfj9/llMlVJKqemqpbp+Q9WuB7tk31C3FM3A0aNHaWhoYPny5YjImU7OWS+ZTNLQMLNfsTGGvr4+jh49Smdn5yynTCml1HTUUl3/uartEnAIeEtdUjNDuVxOA/wcISK0trbS09NzppOilFLnvFqq6288HQk5VRrg5w79XSil1NxQS3X9n0/2uTHm87OXHKWUUkrNllomw7kS+BPshWmWAO8FLsRul59TbfNn2g9+8ANEhD179pzppIyxceNGtmzZcqaToZRS6jSqJci3ARuMMX9hjPkL4ApgqTHmE8aYT9Q3eWeX++67j+uvv577779/Vu5XKpVm5T5KKaXOTbV0vDsPKFTtF4DldUnNLPjET3ay63hiVu954eJGPn7LRZOek0qleOyxx3j44Yd53etex5133smmTZv42Mc+RmtrK3v37uWGG27gn/7pn/B4PMRiMf74j/+Yhx9+mObmZu6//37a29vZuHEj1113HY899hive93ruPzyy/nwhz9MqVTiqquu4q677uKhhx7innvu4Tvf+Q4AmzZt4nOf+xw/+clP+JM/+RM2b95MNpvl1ltv5ROf0HyYUkqdq2opyX8DeFJE7hSRjwO/A/69lpuLyE0isldE9onIR8b5/O0i8mzl9biIXDa95M8dP/zhD7nppptYvXo1LS0tbN26FYAnn3ySz33uc2zfvp39+/fz/e9/H4B0Os2GDRvYunUrL33pS0cE48HBQR555BHe9773cfvtt/Ptb3+b7du3UyqVuOuuu3jlK1/JE088QTqdBuDb3/42b33rWwH4u7/7O7Zs2cKzzz7LI488wrPPPnuan4RSSqm5opbe9X8nIv8JvKRy6A5jzNNTXSciXuArwCuBo8BmEfmxMWZX1WkHgZcaYwZE5NXA3cA10/0hqk1V4q6X++67jw996EMA3Hbbbdx333285jWv4eqrr2bFCnsG4Le97W08+uij3HrrrXg8Hjcw/8Ef/AFvfOMb3Xs5x/fu3UtnZyerV68G4I/+6I/4yle+woc+9CFuuukmfvKTn3Drrbfys5/9jM985jMAfOc73+Huu++mVCpx4sQJdu3axaWXXnq6HoNSSqk5pJbqeoAIkDDG3CMi7SLSaYw5OMU1VwP7jDEHAETkfuD1gBvkjTGPV53/BLC09qTPHX19fTz00EPs2LEDEaFcLiMi3HzzzWOGk000vKz6eDQaBeyJZSby1re+la985Su0tLRw1VVX0dDQwMGDB/nsZz/L5s2baW5u5vbbb9dZAJVS6hxWyxC6j2P3sF8D3AP4gW8CL57i0iXAkar9o0xeSn8n8J8TpOE9wHsA2tvb2bRp04jPm5qaSCaTUySnfr75zW/ytre9jS996UvusVe/+tX86le/4sknn2T79u2cd955fOtb3+KOO+4gmUxiWRbf+MY3uPXWW7nnnnu4+uqrSSaTlMtl0uk0yWSSJUuWcPDgQbZt28bKlSv5+te/zjXXXEMymeSKK67gqaee4q677uL3fu/3SCaTnDhxgnA4jMfjYf/+/TzwwANce+21Y+47lXK5fMrPM5fLjfk9qZFSqZQ+ozrTZ1x/+ozntlpK8m8A1gNbAYwxx0WklqFz4xVZxy2aisiN2EH++vE+N8bcjV2Vz5o1a8zGjRtHfL579+4ZT8M6G37wgx/wkY98ZEQa3vKWt3DXXXfxohe9iL/9279l+/bt3HDDDfz+7/8+Ho+HaDTKgQMH2LhxI01NTXz729+moaEBr9dLNBqloaGBhoYG7r33Xu644w63492HPvQhgsEgALfccgv33nsv3/rWt4hEIlx33XVcccUVXHvttaxYsYLrr7+eUCg05r5TOZVpbR2hUIj169ef0j3mu02bNjH637KaXfqM60+f8dwmk1UJA4jIk8aYq0VkqzFmg4hEgd8aYyZt6BWRFwF3GmNeVdn/XwDGmP8z6rxLgR8ArzbGPDdVgtesWWP27t074tju3btZt27dVJeedps2beKzn/0sP/3pT8d8FovFSKVSZyBVU5uNID9Xfydzif5xrD99xvWnz/j0EJGnjDFXTn3mSLX0rv+OiPwzEBeRdwO/BL5Ww3WbgVUi0ikiAeA24MejEn0e8H3gv9cS4JVSSilVu0mr68XuDfZtYC2QwG6X/5gx5hdT3dgYUxKR9wMPAl7g68aYnSLy3srnX8VerrYV+KdKx7PSTHIqc9XGjRsnzOHO1VK8Ukqp+WPSIG+MMSLyQ2PMFcCUgX2c6x8AHhh17KtV2+8C3jXd+yqllFJqarVU1z8hIlfVPSVKKaWUmlW19K6/EXiviBwC0ti95s1UHe+UUkopdWZNGORF5DxjzGHg1acxPUoppZSaJZNV1/8QwBjzAvB5Y8wL1a/TkrqziNfr5fLLL+fiiy/mzW9+M5lMBrCHys2WO++8k89+9rMAfOxjH+OXv/wlAF/84hfd71NKKaUckwX56slsVtQ7IWe7cDjMtm3b2LFjB4FAgK9+9atTXzSOcrlc03mf/OQnecUrXgFokFdKKTW+ydrkzQTbc9t/fgRObp/dey68BF79qZpPf8lLXjJm9bfRE+O8//3v58orr+T2229n+fLlvOMd7+C//uu/eP/7308ymeTuu++mUChwwQUX8I1vfINIJDLifrfffjuvfe1rOX78OMePH+fGG2+kra2NP/iDP2DHjh184QtfAOBrX/sau3fv5vOf//wpPgSllFJnm8lK8peJSEJEksClle2EiCRFZHYXbJ9HSqUS//mf/8kll1wyretCoRCPPvoot912G2984xvZvHkzzzzzDOvWreNf//VfJ7zuAx/4AIsXL+bhhx/m4Ycf5rbbbuPHP/4xxWIRgHvuuYc77rjjlH4mpZRSZ6cJS/LGGO/pTMismUaJezZls1kuv/xywC7Jv/Od75zW9c7ysgA7duzgox/9KIODg6RSKV71qlfVfJ9oNMrLXvYyfvrTn7Ju3TqKxeK0MxxKKaXmh1qXmlVTcNrkJ+Lz+bAsy90fvQSss7ws2FXxP/zhD7nsssu49957p73C07ve9S7+/u//nrVr12opXimlzmG1TIajZsH555/Prl27yOfzDA0N8atf/WrCc5PJJIsWLaJYLPKtb31ryns3NDSMWBr2mmuu4ciRI/zHf/wHb3vb22Yl/Uoppc4+WpI/TZYtW8Zb3vIWLr30UlatWjXpMqx/8zd/wzXXXMP555/PJZdcMuXa7u95z3t49atfzaJFi3j44YcBe6nbbdu20dzcPKs/h1JKqbPHlEvNzjVn01KzZ9JrX/ta/uzP/oyXv/zl075Wl5o9PXSJzvrTZ1x/+oxPj3ouNavOIoODg6xevZpwODyjAK+UUmr+0Or6eSYej/Pcc8+d6WQopZSaA7Qkr5RSSs1TGuSVUkqpeUqDvFJKKTVPaZBXSiml5ikN8rPoBz/4ASLCnj17pjx39MpxN998M4ODgzV/16FDh7j44otnksxx3X777Xzve98D7MVzdu3aBcDf//3fz9p3KKWUOr00yM+i++67j+uvv577779/ynNHB/kHHniAeDxex9TVvoztl7/8ZS688EJAg7xSSp3N5t0Quk8/+Wn29E9dkp6OtS1r+cur/3LSc1KpFI899hgPP/wwr3vd67jzzjvZtGkTd955J21tbezYsYMrrriCb37zm/zjP/7jiOVhH374YZYvX86WLVtoa2sbcd8777yT/fv3c+zYMY4cOcL//J//k3e/+90jzrn33nvZsmULX/7ylwF7IpwPf/jDbNy4kVgsxp//+Z/z4IMP8rnPfY6HHnqIn/zkJ2SzWa677jr++Z//GREZcb+bb76ZL3zhC3zve99zF9656KKLWLFiBW1tbXzwgx8E4K/+6q9YsGABH/jAB071ESullKoDLcnPkh/+8IfcdNNNrF69mpaWFrZu3QrA008/zRe/+EV27drFgQMHeOyxx8YsDzuVZ599lp/97Gf89re/5ZOf/CTHjx+vOV3pdJqLL76Y3/3ud1x//fW8//3vZ/PmzezYsYNsNuuubz+eT33qU+7CO9/61rd45zvfyb/9278BYFkW999/P29/+9trTotSSqnTa96V5KcqcdfLfffdx4c+9CEAbrvtNu677z5e85rXcPXVV7N06VIALr/8cg4dOsT1118/rXu//vWvJxwOEw6HufHGG3nyySfdZW2n4vV6edOb3uTuP/zww3zmM58hk8nQ39/PRRddxC233FLTvZYvX05raytPP/00XV1drF+/ntbW1mn9LEoppU6feRfkz4S+vj4eeughduzYgYhQLpcREW6++WaCwaB7ntfrpVQqTXqvr3zlK3zta18D7HZ6YEx1+uj9yZaxDYVCeL1e9/if/umfsmXLFpYtW8add945ZsnbqbzrXe/i3nvv5eTJk7zjHe+Y1rVKKaVOL62unwXf+973+MM//ENeeOEFDh06xJEjR+js7OTRRx+d8JrRy8M63ve+97Ft2za2bdvG4sWLAfjRj35ELpejr6+PTZs2cdVVV424Zvny5Wzbtg3Lsjhy5AhPPvnkuN/pBPS2tjZSqZTbm34yfr+fYrHo7r/hDW/g5z//OZs3b+ZVr3rVlNcrpZQ6c7QkPwvuu+8+PvKRj4w49qY3vYm77rqLlStXjnvNeMvDTuTqq6/mNa95DYcPH+av//qvWbx4MYcOHXI/f/GLX0xnZyeXXHIJF198MRs2bBj3PvF4nHe/+91ccsklLF++fExmYaJ0XnrppWzYsIFvfetbBAIBbrzxRuLxuFtDoJRSam7SpWbnuDvvvJNYLMaHP/zh0/adky01a1kWGzZs4Lvf/S6rVq2a8B7z+XcyW3SJzvrTZ1x/+oxPD11qVtXdrl27uOCCC3j5y18+aYBXSik1N2h1/Rx35513nukkuC688EIOHDhwppOhlFKqRvOmJH+2NTvMZ/q7UEqpuWFeBPlQKERfX58GlznAGENfXx+hUOhMJ0Uppc5586K6funSpRw9epSenp4znZR5IZfLnVKQDoVC7gRASimlzpx5EeT9fj+dnZ1nOhnzxqZNm1i/fv2ZToZSSqlTVNfqehG5SUT2isg+EfnIOJ+LiPxD5fNnRWT8Ad5KKaWUmra6BXkR8QJfAV4NXAi8TUQuHHXaq4FVldd7gLvqlR6llFLqXFPPkvzVwD5jzAFjTAG4H3j9qHNeD/y7sT0BxEVkUR3TpJRSSp0z6tkmvwQ4UrV/FLimhnOWACeqTxKR92CX9AHyIrJjdpOqRmkDes90Is4B+pzrT59x/ekzPj3WzOSiegZ5GefY6DFutZyDMeZu4G4AEdkyk6n9VO30GZ8e+pzrT59x/ekzPj1EZMtMrqtndf1RYFnV/lLg+AzOUUoppdQM1DPIbwZWiUiniASA24Afjzrnx8AfVnrZXwsMGWNOjL6RUkoppaavbtX1xpiSiLwfeBDwAl83xuwUkfdWPv8q8ABwM7APyAB31HDru+uUZDVMn/Hpoc+5/vQZ158+49NjRs/5rFtqVimllFK1mRdz1yullFJqLA3ySiml1Dw1Z4O8TolbfzU847dXnu2zIvK4iFx2JtJ5NpvqGVedd5WIlEXk1tOZvvmilucsIhtFZJuI7BSRR053Gs92Nfy9aBKRn4jIM5VnXEsfK1VFRL4uIt0TzQUzo7hnjJlzL+yOevuBFUAAeAa4cNQ5NwP/iT3W/lrgd2c63WfTq8ZnfB3QXNl+tT7j2X/GVec9hN0R9dYzne6z7VXjv+U4sAs4r7LfcabTfTa9anzG/xv4dGW7HegHAmc67WfTC7gB2ADsmODzace9uVqS1ylx62/KZ2yMedwYM1DZfQJ7HgNVu1r+HQP8D+D/Ad2nM3HzSC3P+feB7xtjDgMYY/RZT08tz9gADSIiQAw7yJdObzLPbsaYX2M/t4lMO+7N1SA/0XS30z1HTWy6z++d2DlIVbspn7GILAHeAHz1NKZrvqnl3/JqoFlENonIUyLyh6ctdfNDLc/4y8A67AnNtgMfNMZYpyd554xpx725up78rE2JqyZU8/MTkRuxg/z1dU3R/FPLM/4i8JfGmLJdAFIzUMtz9gFXAC8HwsBvReQJY8xz9U7cPFHLM34VsA14GbAS+IWI/MYYk6hz2s4l0457czXI65S49VfT8xORS4F/AV5tjOk7TWmbL2p5xlcC91cCfBtws4iUjDE/PC0pnB9q/XvRa4xJA2kR+TVwGaBBvja1POM7gE8Zu/F4n4gcBNYCT56eJJ4Tph335mp1vU6JW39TPmMROQ/4PvDftcQzI1M+Y2NMpzFmuTFmOfA94E81wE9bLX8vfgS8RER8IhLBXhFz92lO59mslmd8GLumBBFZgL1q2oHTmsr5b9pxb06W5E39psRVFTU+448BrcA/VUqaJaOrTdWsxmesTlEtz9kYs1tEfg48C1jAvxhjdMnqGtX4b/lvgHtFZDt2tfJfGmN0CdppEJH7gI1Am4gcBT4O+GHmcU+ntVVKKaXmqblaXa+UUkqpU6RBXimllJqnNMgrpZRS85QGeaWUUmqe0iCvlFJKzVMa5NVZrbJy2zYR2VFZASs+xfmXi8jNVfuvm2x1uGmkIygiv6yk5a3jfP5FEbnhVL9nnPveO9XKdROdIyJvrqwWZonIhEMjReSzIvKy2Ujv6SQij5+B71wuIr9/ur9XqYlokFdnu6wx5nJjzMXYCzu8b4rzL8ceZwqAMebHxphPzUI61gP+Slq+Xf2BiLQA11YWn5hLdgBvBKZK1z8Cp5wRqpWIzMr8HcaY62bjPtO0HHsxnJqJiLc+SVFKg7yaX35LZbEGEblaRB4Xkacr72sqM3V9EnirU+IWkdtF5MuVa84XkV9V1mn+VWXGvxFEpEVEflg55wkRuVREOoBvApdX7rty1GW3Aj+vuschEfl7EfmtiGwRkQ0i8qCI7HcmF6nMaPV/KzUU253agcrxL4vILhH5GdBRdd8rROQRsRdgeVCmWJ3KGLPbGLN3qodqjHkBaBWRheM8j5Ui8vPKd/5GRNZWZpXbLCIbK+f8HxH5u6qf/dMi8mTldUHl+L0i8nkReRj49Hj3rZz35sozeUbsqWkRkYsq99pW+b2sqhxPVd6/Par25l4ReZOIeCvPeHPluj8e5+f7tIj8adX+nSLyFxP9foBPYc+st01E/myi7xB7bfuHReQ/gO0iEhWRn1V+rh0yTm2QUjNyptfP1Ze+TuUFpCrvXuC7wE2V/UbAV9l+BfD/Ktu3A1+uut7dB34C/FFl+x3AD8f5vn8EPl7ZfhmwrbK9EfjpBGn8N+CWqv1DwJ9Utr+APQtbA/Ya3N2V428CflH5uRZgTxm6CLvk7RxfDAxiZyL8wONAe+X6t2LPSgZwL5OsUw9sAq6c4jl/DXjTOMd/BayqbF8DPFTZvgh72thXAk9TWVe88rP/VWX7D51nVknjTwHvFPfdDiypbMerfidvr2wHgPCofxtvAP6t6vMj2IvUvAf4aOV4ENgCdI76+dYDj1Tt7wLOm+T3M+LfwUTfUTkv7Xxf5X5fq7qu6Uz/v6Wv+fGak9PaKjUNYRHZhl1N+hT2H16AJuDfKqU6Q2VqyCm8CDuIAnwD+Mw451yP/QcZY8xDItIqIk1T3HcR0DPqmDPv93YgZoxJAkkRyYndr+B64D5jTBnoEpFHgKuAG6qOHxeRhyr3WQNcjL3yF9jBZzbXcujGzlS4RCQGXAd8V4ZX0AsCGHvK029gZ5xeZOw1yB33Vb1/oer4d429Gt+E9wUew5469TvY6yqAXYPzVyKyFHvN+OdHpf0/gX8QkSBwE/BrY0xWRP4bcKkM91doAlYBB50LjTFPi0iHiCzGzoQNGGMOi8ifMf7vZ/SKaxN9RwF40hjjfNd24LMi8mnsTMJvUGoWaJBXZ7usMebySqD9KXab/D9gz6P9sDHmDSKyHLu0Ol3jzfk8kyWOs0Bo1LF85d2q2nb2fRN8z1Tp2mmMedEUaZmSiNyDXYI9boxxqrlD2D9HNQ8waIy5fIJbXYJd07Bg1HEzwXZ6qvsaY94rItcArwG2icjlxpj/EJHfVY49KCLvMsY8VHVNTkQ2YS+F+laGMxkC/A9jzIMTpN/xPezakoXA/VXX1mLc76g0ZTg/L8aY50TkCuz+Iv9HRP7LGPPJGr9DqQlpm7yaF4wxQ8AHgA+LiB+7xHSs8vHtVacmsavGx/M49upaAG8HHh3nnF9XPnP+UPeaqdfL3g1cMMU5433PWyttuu3YJfgnK8dvqxxfBNxYOX8v0C4iL6qkzS8iF03zOwEwxtxh7A6EN1cdXo3dUa/6vARwUETeXPlOEZHLKttvxF7c6AbsUnS86tK3Vr3/dpzvn+y+K40xvzPGfAzoBZaJyArggDHmH7BrSC4d58e6H3sxj5dgL7JC5f1PKv9eEJHVIhKd4NrbsAP99yrHJvr9jP73VdN3VGoKMsaYbwKfBTaMkw6lpk2DvJo3jDFPA89g/0H+DHaJ6DHsqmvHw8CFMv5Qtw8Ad4jIs8B/Bz44ztfcCVxZOedTwB/VkLSfYbfBTscPsNvqnwEeAv6nMeZk5fjz2NW7dwGPAFSqw2/F7rT2DLANu8p7QiLyBrFXunoR8DMRGbdEWwlQF2C3J4/2duCdle/cCbxeRNqwn807jb1E8ZeBL1VdE6yUvD8I/NkEyRtz38rx/1vp6LYDO9A+g51Z2FFptlkL/Ps49/sv7ED8y6qmg3/BbmPfWrnfPzNO7aYxZid24D5mhpf1nOj38yxQqnSg+7NavwO71uPJys/wV8DfTvBclJoWXYVOqdNARB4FXmuMGTzTaZkuEXkDsMEY89ezcK9D2J38dAlSpU4DLckrdXr8BXav7LORD/jcmU6EUmr6tCSvlFJKzVNakldKKaXmKQ3ySiml1DylQV4ppZSapzTIK6WUUvOUBnmllFJqnvr/AXnRPRSK7OjfAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "fig, ax = plt.subplots(figsize=(8, 4))\n", "plt_plot_with_error(ratios_fanatic, results_av, N_SAMPLES, label=APPROVAL)\n", "plt_plot_with_error(ratios_fanatic, results_pl, N_SAMPLES, label=PLURALITY)\n", "plt_plot_with_error(ratios_fanatic, results_apl, N_SAMPLES, label=ANTI_PLURALITY)\n", "plt.grid(True)\n", "plt.legend()\n", "plt.xlabel('Ratio of (model 1-) expressive voters')\n", "plt.ylabel('Frequency of victory for the CW')\n", "plt.xlim(0, 1)\n", "plt.ylim(0, 1.05)\n", "plt.savefig('img/fCW_fanatic.png', dpi=600, bbox_inches=\"tight\")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.7" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "Table of Contents", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": false } }, "nbformat": 4, "nbformat_minor": 4 }